event $_foo <q,r,s>: 
  end(call(Reader+.new(s, ..))) && !foo.*foo() {++x; ++y; if(3 < 4){x = y + 2;}} ;
event bar : !foo.*foo() {x = 3}
event h : !foobar.*nbar() {x = 3};
EVEnt g : fofoofof() {x = 3};
start SYMBOL : A
minimal
formula : A -> $_foo bar B | bar | h, B -> bar 
